CityResolver: A Decision Support System for Conflict Resolution in Smart Cities
نویسندگان
چکیده
Resolution of conflicts across services in smart cities is an important yet challenging problem. We present CityResolver – a decision support system for conflict resolution in smart cities. CityResolver uses an Integer Linear Programming based method to generate a small set of resolution options, and a Signal Temporal Logic based verification approach to compute these resolution options’ impact on city performance. The trade-offs between resolution options are shown in a dashboard to support decision makers in selecting the best resolution. We demonstrate the effectiveness of CityResolver by comparing the performance with two baselines: a smart city without conflict resolution, and CityGuard which uses a priority rule-based conflict resolution. Experimental results show that CityResolver can reduce the number of requirement violations and improve the city performance significantly. Keywords-Conflict Resolution, Safety and Performance Requirements, Signal Temporal Logic, Smart City, Smart Services
منابع مشابه
Smart Diabetic Screening and Managing Software, A Novel Decision Support System
Background: Diabetes is a serious chronic disease, and its increasing prevalence is a global concern. If diabetes mellitus is left untreated, poor control of blood glucose may cause long-term complications. A big challenge encountered by clinicians is the clinical management of diabetes. Many IT-based interventions such ad CDSS have been made to improve the adherence to the standard care for ch...
متن کاملElderly Daily Activity-Based Mood Quality Estimation Using Decision-Making Methods and Smart Facilities (Smart Home, Smart Wristband, and Smartphone)
Due to the growth of the aging phenomenon, the use of intelligent systems technology to monitor daily activities, which leads to a reduction in the costs for health care of the elderly, has received much attention. Considering that each person's daily activities are related to his/her moods, thus, the relationship can be modeled using intelligent decision-making algorithms such as machine learn...
متن کاملUsing Multi-Criteria Spatial Decision Support System (MC-SDSS) in prioritization of Brownfield redevelopment in Mashhad metropolis
Aims & Backgrounds: The concept of redevelopment is accompanied by measures and forecasts to improve the quality of the physical environment of cities. This is necessary happened when the cohesion, coordination and performance of the urban environment is diminished and does not meet the needs of the environment. Brownfields are, including abandoned areas, inefficient and in need of redevelopmen...
متن کاملDeveloping a Citizen-Centric Spatial Decision-Making System to Support the Process of Participatory Construction in Urban Distressed Textures
Todays, urban distressed textures are considered as a vital concern of managers, particularly in large cities. These areas, which also appear in official parts of cities, are vulnerable because of prospective problems. Lack of proper accessibility, services, facilities, and infrastructures, as well as social, economic, environmental and spatial problems, are key problems of these areas. Althoug...
متن کاملFramework for an Autonomic Transport System in Smart Cities
Today the concept of smart cities is discussed in scientific society and politics. A core function of smart cities is transportation. This paper gives a short overview on the concepts for Intelligent Transport Systems (ITS) for smart cities and proposes a framework for the design of an autonomic transportation system that provides personalized mobility services to its users in a smart city sett...
متن کامل